We present a solution to the paradox of free choice permission by introducing strong and weak permission in a deontic logic of action. It is shown how counterintuitive consequences of strong permission can be avoided by limiting the contexts in which an action can be performed. This is done by introducing the only operator, which allows us to say that only is performed (and nothing else), and by introducing contextual interpretation of action terms.

This book is the 1906 second edition of the Hulsean Lectures delivered at the University of Cambridge between 1901 and 1902. In these four lectures, F. R. Tennant challenges conventional teachings on Original Sin and the story of the Fall, arguing that his contemporaries had misinterpreted the biblical presentation of sin and its manifestations. Tennant aims to redefine the sin of both the race and the individual, and in doing so engages with traducianism and the philosophies of Malebranche, Kant and (...) Hegel. He argues that action predates modern conceptions of right and wrong, and that transgression is only sin if the actor is aware of what is morally right. Of course, these theories were met with great opposition, an opposition which Tennant uses the preface of this second edition to confront. These fascinating lectures and their appendages will be of great interest to scholars of Christian theology and the fin de siècle alike. (shrink)

"The chief business of twentieth-century philosophy” is “to reckon with twentieth-century history," claimed R. G. Collingwood. In this remarkable collection of essays, Frank Ankersmit demonstrates the prescience of that remark and goes a long way toward meeting its challenge. Responding to the work of Hayden White, Arthur Danto, and Hans-Georg Gadamer, he examines such issues as the difference between historical representation and artistic expression, the status of metaphor in historical description, and the relation of postmodernism to historicism. Ankersmit's fluent grasp (...) of European thought and his ability to incorporate concepts from literary theory, art history, the philosophy of science, and political thought into his analyses assure that this collection will interest readers throughout the humanities. (shrink)

Historians rarely agree with Hayden White's account of their discipline. To a certain extent their dissatisfaction can be explained by the fact that historians customarily distrust historical theory and always tend to look at the historical theorist with the greatest suspicion. But historians find an extra argument for their dislike of White's ideas in his alleged cavalier disregard of how historical facts limit what the historian might wish to say about the past. And, admittedly, this criticism is not wholly unfounded.Nevertheless, (...) this essay attempts to show how misguided this traditional criticism of White actually is. For it is historians who too easily take the truth of their accounts of the past for granted, whereas White's theoretical writings can be shown to express a full awareness of the kind of problem encountered in the effort to tell the truth about historical reality. Hence, White's writings-rather than those by historians criticizing White-testify to the respect that we owe to historical reality itself. That this is how we should read White becomes clear if we consider his intellectual evolution as a whole rather than the individual books or essays that he wrote. (shrink)

We introduce a linear analogue of Läuchli's semantics for intuitionistic logic. In fact, our result is a strengthening of Läuchli's work to the level of proofs, rather than provability. This is obtained by considering continuous actions of the additive group of integers on a category of topological vector spaces. The semantics, based on functorial polymorphism, consists of dinatural transformations which are equivariant with respect to all such actions. Such dinatural transformations are called uniform. To any sequent in Multiplicative Linear Logic (...) , we associate a vector space of“diadditive” uniform transformations. We then show that this space is generated by denotations of cut-free proofs of the sequent in the theory MLL + MIX. Thus we obtain a full completeness theorem in the sense of Abramsky and Jagadeesan, although our result differs from theirs in the use of dinatural transformations.As corollaries, we show that these dinatural transformations compose, and obtain a conservativity result: diadditive dinatural transformations which are uniform with respect to actions of the additive group of integers are also uniform with respect to the actions of arbitrary cocommutative Hopf algebras. Finally, we discuss several possible extensions of this work to noncommutative logic.It is well known that the intuitionistic version of Läuchli's semantics is a special case of the theory of logical relations, due to Plotkin and Statman. Thus, our work can also be viewed as a first step towards developing a theory of logical relations for linear logic and concurrency. (shrink)

In Chapter 4 of his essay Utilitarianism, “Of what sort of Proof the Principle of Utility is susceptible,” J. S. Mill undertakes to prove, in some sense of that term, the principle of utility. It has very commonly been argued that in the course of this “proof” Mill commits two very obvious fallacies. The first is the naturalistic fallacy which he is held to commit when he argues that since “the only proof capable of being given that an object is (...) visible, is that people actually see it. The only proof that a sound is audible is that people hear it: and so of the other sources of our experience. In like manner … the sole evidence it is possible to produce that anything is desirable, is that people do actually desire it.”1 Here Mill appears to hold that “X is desirable ”—a value judgment—follows deductively from “People desire x”—a factual statement. And the second is the fallacy of composition which seems to be involved in Mill'zs argument that since “each person's happiness is a good to that person … the general happiness, therefore, a good to the aggregate of all persons.”2. (shrink)

Historical materialism I take to be the view expressed in the well-known Preface to the Critique of Political Economy (1859) and exemplified in Capital and in many other writings by Marx and by Marxists. I shall begin with a few introductory remarks, next sketch in the theory, and finally contend that, despite real attractions, it too far limits the scope of legitimate historical enquiry to be ultimately acceptable.

Why are we interested in history at all? Why do we feel the need to distinguish between past and present? In this book, the author argues that the past originates from an experience of rupture separating past and present. Think of the radical rupture with Europe's past that was effected by the French and the Industrial Revolutions. Sublime Historical Experience investigates how the notion of sublime historical experience complicates and challenges existing conceptions of language, truth, and knowledge. These experiences of (...) rupture are paradoxical since they involve both the separation of past and present and, at the same time, the effort to overcome this separation in terms of historical knowledge. The experience unites feelings of loss/pain with those of love/satisfaction, and thus is in agreement with how sublime experience is ordinarily defined. The experience is also precognitive since it precedes historical knowledge. As such it is a challenge to traditional conceptions of the relationship between experience and truth or language. It compels us to disconnect the notions of experience and truth. (shrink)

A novel conceptual framework is introduced for the Complexity Levels Theory in a Categorical Ontology of Space and Time. This conceptual and formal construction is intended for ontological studies of Emergent Biosystems, Super-complex Dynamics, Evolution and Human Consciousness. A claim is defended concerning the universal representation of an item’s essence in categorical terms. As an essential example, relational structures of living organisms are well represented by applying the important categorical concept of natural transformations to biomolecular reactions and relational structures that (...) emerge from the latter in living systems. Thus, several relational theories of living systems can be represented by natural transformations of organismic, relational structures. The ascent of man and other living organisms through adaptation, is viewed in novel categorical terms, such as variable biogroupoid representations of evolving species. Such precise but flexible evolutionary concepts will allow the further development of the unifying theme of local-to-global approaches to highly complex systems in order to represent novel patterns of relations that emerge in super- and ultra-complex systems in terms of compositions of local procedures. Solutions to such local-to-global problems in highly complex systems with ‘broken symmetry’ might be possible to be reached with the help of higher homotopy theorems in algebraic topology such as the generalized van Kampen theorems (HHvKT). Categories of many-valued, Łukasiewicz-Moisil (LM) logic algebras provide useful concepts for representing the intrinsic dynamic ‘asymmetry’ of genetic networks in organismic development and evolution, as well as to derive novel results for (non-commutative) Quantum Logics. Furthermore, as recently pointed out by Baianu and Poli (Theory and applications of ontology, vol 1. Springer, Berlin, in press), LM-logic algebras may also provide the appropriate framework for future developments of the ontological theory of levels with its complex/entangled/intertwined ramifications in psychology, sociology and ecology. As shown in the preceding two papers in this issue, a paradigm shift towards non-commutative, or non-Abelian, theories of highly complex dynamics—which is presently unfolding in physics, mathematics, life and cognitive sciences—may be implemented through realizations of higher dimensional algebras in neurosciences and psychology, as well as in human genomics, bioinformatics and interactomics. (shrink)

An overview of the following three related papers in this issue presents the Emergence of Highly Complex Systems such as living organisms, man, society and the human mind from the viewpoint of the current Ontological Theory of Levels. The ontology of spacetime structures in the Universe is discussed beginning with the quantum level; then, the striking emergence of the higher levels of reality is examined from a categorical—relational and logical viewpoint. The ontological problems and methodology aspects discussed in the first (...) two papers are followed by a rigorous paper based on Category Theory, Algebraic Topology and Logic that provides a conceptual and mathematical basis for a Categorical Ontology Theory of Levels. The essential links and relationships between the following three papers of this issue are pointed out, and further possible developments are being considered. (shrink)